(set-logic QF_NRA)
(declare-fun _substvar_17_ () Real)
(declare-fun _substvar_19_ () Real)
(declare-fun _substvar_20_ () Real)
(declare-const r3 Real)
(assert (or (> _substvar_20_ _substvar_19_ 9344283805.0) (< 34329834598.0 _substvar_17_ r3 55534.0 34329834598.0)))
(check-sat)
